1

Critical modal logics containing the Brouwer axiom

Year:
1983
Language:
english
File:
PDF, 368 KB
english, 1983
2

Kripke semantics for modal systems including S4.3

Year:
1974
Language:
english
File:
PDF, 376 KB
english, 1974
3

A discriminatorial variety of Heiting algebras with involution

Year:
1983
Language:
english
File:
PDF, 711 KB
english, 1983